System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
611	Certifying Compilation and Run-time Code Generation Luke Hornof Trevor Jim Computer and Information Science Department Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:24 C++ Procedural programming languages Data types Type theory Generic programming Cyclone X86 assembly language Template Type system Software engineering Computing Computer programming
612	Typing the Numeric Tower Vincent St-Amour1 , Sam Tobin-Hochstadt1 , Matthew Flatt2 , and Matthias Felleisen1 1 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Data types Type theory Functional languages Computer arithmetic Program analysis Type system Subtype polymorphism Floating point C++ classes Software engineering Computing Programming language theory
613	Tool Interface Standard (TIS) Executable and Linking Format (ELF) Specification Version 1.2 TIS Committee Add to Reading List Source URL: uclibc.org Language: English - Date: 2012-05-05 03:48:31 Programming language implementation Computer file formats Executable and Linkable Format Portable Executable Relocation Object file File Unix Executable Computing Software System software
614	Expressive and Modular Predicate Dispatch for Java TODD MILLSTEIN, CHRISTOPHER FROST, JASON RYDER and ALESSANDRO WARTH University of California, Los Angeles Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2009-02-20 18:39:32 Object-oriented programming Method Programming paradigms Common Lisp Lisp programming language Multiple dispatch Dynamic dispatch Common Lisp Object System Polymorphism Software engineering Computing Computer programming
615	Migration From APL2 to APL/W by Rex Swain Introduction I’ve recently spent a fair amount of time migrating workspaces from IBM’s APL2 to Dyadic System’s APL/W. This article, a review of various features that will Add to Reading List Source URL: www.rexswain.com Language: English - Date: 2007-01-03 02:00:00 Computer programming Array programming languages IBM software Functional languages Command shells APL Scientific Time Sharing Corporation A+ K Computing Software engineering APL programming language family
616	Type-Safe Linking and Modular Assembly Language ∗ Neal Glew and Greg Morrisett Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-02-16 17:38:57 Type theory Data types Cross-platform software Procedural programming languages Object-oriented programming Type system C Type safety Portable Executable Computing Software engineering Computer programming
617	BIOGRAPHY Eur Ing Chris Hills Technical Director Add to Reading List Source URL: www.phaedsys.com Language: English - Date: 2015-02-18 05:53:52 Embedded system Motor Industry Software Reliability Association Systems engineering National Research University of Electronic Technology Computing Real-time operating systems C programming language MISRA C Regulation and licensure in engineering
618	Statically Scoped Object Adaptation with Expanders Alessandro Warth Milan Stanojevi´c Todd Millstein Add to Reading List Source URL: tinlizzie.org Language: English - Date: 2008-12-30 02:04:39 Object-oriented programming Cross-platform software Method Type theory Java programming language Eval Java Type system Factory method pattern Software engineering Computing Computer programming
619	Miscellaneous Issues Frame Functions   Saving and Restoring   CLOS Classes   Mix and Match Inferencing   Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:12:54 Object-oriented programming Lisp programming language Common Lisp C++ Common Lisp Object System Filler Class Concepts Function Software engineering Computer programming Computing
620	DNSSEC-Tools Developers Guide 1 December 2006 SUBMITTED BY SPARTA, Inc. Add to Reading List Source URL: www.dnssec-tools.org Language: English - Date: 2014-09-18 01:15:15 Network architecture Internet protocols C programming language DNSSEC Domain Name System Security Extensions Sizeof Getaddrinfo Library Struct Domain name system Internet Computing

UPDATE